Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·8h
📏Linear Logic
How the Lean language brings math to coding and coding to math
amazon.science·18h·
Discuss: Hacker News
🔬Lean
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·12h
🔗Functional Compilers
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·17h
🔬Refinement Types
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·23h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·5h
📜Proof Carrying Code
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·8h
📊Static Analysis
Lessons from writing a Kubernetes Security book
medium.com·2d·
Discuss: DEV, Hacker News
📦Container Security
Updated Stacks Project
math.columbia.edu·17h
🌳Persistent Data Structures
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·17h·
Discuss: Hacker News, r/programming
🔒WASM Capabilities
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·21h·
Discuss: Hacker News
🔒WASM Capabilities
Building brittle software
blog.kronis.dev·1d
❄️Nix Flakes
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
GoLang appreciation post
reddit.com·16h·
Discuss: r/golang
📜Proof Carrying Code
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·8h
✨Effect Handlers
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·8h
🎯Performance Proofs